Quality assurance for TTCN-3 test specifications

implementations provided by Eclipse. The TRex tool chain is shown in Figure 5: the Eclipse Platform provides the basic IDE infrastructure. The TRex components build on top of the Eclipse Platform. They are explained in the subsequent sections. 6.2.1. Static analysis The foundation for most functionality in TRex is the TTCN-3 parser and the resulting syntax tree. For building up the syntax tree for a test suiteANother Tool for Language Recognition (ANTLR) [26] is used, a parser generator that supports lexing, parsing, and syntax tree creation and traversal. For tree traversal, ANTLR uses tree grammars, e.g. the pretty printer uses a tree grammar enriched with semantic actions for the syntax reconstruction and code formatting. Most of the advanced functionality of TRex requires additional information for TTCN-3 identifiers, such as the identifier’s type, or the syntax tree node of its declaration. To easily find this information, a symbol table was implemented. The syntax tree and the symbol table provide the basis upon which most of TRex’s present functionality is realized, e.g. the metrics and refactoring Copyright 2008 John Wiley & Sons, Ltd. Softw. Test. Verif. Reliab. (2008)